QOSet\{i\} $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$s$:DSet\{i\}$\mid$ Preorder($\mid$$s$$\mid$;$a$,$b$.$a$ $\leq$$s$ $b$)\}